search

mantognini / leon

The Leon system for verification, synthesis, and more.
leon.epfl.ch
Other
0 stars 0 forks source link

Fix regression tests #3

Closed mantognini closed 8 years ago

mantognini commented 8 years ago

Ignore main functions in current regression tests as they were previously ignored (https://github.com/mantognini/leon/commit/d05098bee0ebbb694c6e4d4bf1b4fb20ff8175b5).

mantognini commented 8 years ago

Should be addressed with 38af5c409003dddd89c42cc7310fec46ebf6d9c1.