Skip to content

Commit cc143a0

Browse files
author
Remi Delmas
committed
CONTRACTS: Remove assigns.cpp
- Remove the old assigns clause checking implementation - Remove assigns.cpp from the Makefile.
1 parent f28f7ba commit cc143a0

File tree

3 files changed

+0
-531
lines changed

3 files changed

+0
-531
lines changed

src/goto-instrument/Makefile

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,6 @@ SRC = accelerate/accelerate.cpp \
1616
alignment_checks.cpp \
1717
branch.cpp \
1818
call_sequences.cpp \
19-
contracts/assigns.cpp \
2019
contracts/contracts.cpp \
2120
contracts/havoc_assigns_clause_targets.cpp \
2221
contracts/instrument_spec_assigns.cpp \

src/goto-instrument/contracts/assigns.cpp

Lines changed: 0 additions & 346 deletions
This file was deleted.

0 commit comments

Comments
 (0)