diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-09-10 11:52:25 +0200 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-09-10 11:52:25 +0200 |
| commit | 2d55d441335d28b8a04065caba883785d8952cfb (patch) | |
| tree | da63af4cf08b07bcb4c418604174b242715379b6 /getlibs.sh | |
| parent | c8ba151b172ee0349a79a4cbeda57c6e2255e78a (diff) | |
| download | RSAComb-2d55d441335d28b8a04065caba883785d8952cfb.tar.gz RSAComb-2d55d441335d28b8a04065caba883785d8952cfb.zip | |
Update and comment some tests
With the introduction of the fresh variable generator it is harder to
test axiom conversion because we would need to define a custom equality
method that doesn't take particular variables into account.
Diffstat (limited to 'getlibs.sh')
0 files changed, 0 insertions, 0 deletions