Counterexamples (WIP)

Open fabioali opened this issue 4 years ago • 2 comments

Counterexamples for Gobra Note: depends on this Fork of Silicon to work.

Apr 20 '21 13:04 fabioali

The various log files which take thousands of lines should probably not be part of this PR, rebase?

Apr 20 '21 13:04 Aurel300

The various log files which take thousands of lines should probably not be part of this PR, rebase?

Indeed, my gitignore was messed up...

Apr 20 '21 17:04 fabioali