We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 40abc2a commit 05198c4Copy full SHA for 05198c4
src/Makefile
@@ -19,7 +19,7 @@ ebmc.dir: trans-word-level.dir trans-netlist.dir verilog.dir vhdl.dir \
19
smvlang.dir ic3.dir aiger.dir temporal-logic.dir cprover.dir
20
21
hw-cbmc.dir: trans-word-level.dir trans-netlist.dir verilog.dir \
22
- vhdl.dir smvlang.dir cprover.dir
+ vhdl.dir smvlang.dir cprover.dir temporal-logic.dir
23
24
# building cbmc proper
25
.PHONY: cprover.dir
0 commit comments