diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-11-12 16:51:10 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-12 16:51:10 +0000 |
commit | 9d2bddfa46b0e4b80f7cf8b30769dec49e1ed423 (patch) | |
tree | 4b1250f830d5f47686bba0e0d8ed5ca5f18411e9 /.envrc | |
parent | 1a1b29c8398f089af0c3c57f9f454cb720534722 (diff) | |
download | verismith-9d2bddfa46b0e4b80f7cf8b30769dec49e1ed423.tar.gz verismith-9d2bddfa46b0e4b80f7cf8b30769dec49e1ed423.zip |
Use text to store counter-example
Diffstat (limited to '.envrc')
0 files changed, 0 insertions, 0 deletions