mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 00:55:31 +00:00
Code Activity

fix issue 153: assert rem/mod axiom no matter what is status of second argument

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2014-12-16 11:20:34 -08:00
parent 882dbfc706
commit f4d256ef30
3 changed files with 21 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

2
README
View file

@ -41,3 +41,5 @@ Remark: clang does not support OpenMP yet.
cd build
make
To clean Z3 you can delete the build directory and run the mk_make.py script again.