Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
comfusy [2011/12/01 18:02] philippe.suter |
comfusy [2011/12/01 18:57] philippe.suter |
||
---|---|---|---|
Line 41: | Line 41: | ||
^ | ^ | ||
answer: Int = 42 | answer: Int = 42 | ||
+ | |||
Line 51: | Line 52: | ||
* You can disable these checks by compiling the code with the command: | * You can disable these checks by compiling the code with the command: | ||
scalac -Xplugin:synthesis-plugin.jar -classpath synthesis-plugin.jar -P:synthesis:nowarnings YourFile.scala | scalac -Xplugin:synthesis-plugin.jar -classpath synthesis-plugin.jar -P:synthesis:nowarnings YourFile.scala | ||
+ | |||
+ | (Comfusy parses Z3 models to produce a warning; versions of Z3 more recent than 2.18 may not output the proper format.) | ||
===== On YouTube ===== | ===== On YouTube ===== |