diff options
| author | Cyril Cohen | 2019-04-04 20:14:29 +0200 |
|---|---|---|
| committer | GitHub | 2019-04-04 20:14:29 +0200 |
| commit | 6e0a9a6ad6d5022e1214a4f38348e3a8f82d45a2 (patch) | |
| tree | 1a3dc6b544db4a9268dd105e82904c1de304cdd3 /etc/utils | |
| parent | 8296d8c80d368710331de9d48328242ecb2f6197 (diff) | |
no output on success in test_suite/hierarchy_test.v (#323)
Diffstat (limited to 'etc/utils')
| -rw-r--r-- | etc/utils/hierarchy_test.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/utils/hierarchy_test.py b/etc/utils/hierarchy_test.py index 30de3e6..79e065c 100644 --- a/etc/utils/hierarchy_test.py +++ b/etc/utils/hierarchy_test.py @@ -31,7 +31,7 @@ def print_common_children_coq_check(G): print ("Local Notation \"" + x + ".type\" := (" + x + ".type _).") print ("") for (x, y) in common_children(G): - print ("Check erefl : (_ : " + x + ".type) = (_ : " + y + ".type) :> Type.") + print ("Goal False. have := erefl : (_ : " + x + ".type) = (_ : " + y + ".type) :> Type. Abort.") def main(): parser = argparse.ArgumentParser(description='Generate a check .v file \ |