Skip to content

Commit

Permalink
Undoing misplaced change
Browse files Browse the repository at this point in the history
  • Loading branch information
@ACassimiro
ACassimiro authored Aug 26, 2024
1 parent 7be0868 commit 43b12a6
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -68,3 +68,4 @@ $(EXECUTION_OUTPUT_DIR)/%.run.executed.kore: $(EXECUTION_INPUT_DIR)/%.run $(RUST
-cTEST="$(shell cat $<)" \
-pTEST=$(CURDIR)/run-test.sh
cat $@.tmp | grep -q "Lbl'-LT-'k'-GT-'{}(dotk{}())"
mv -f $@.tmp $@

0 comments on commit 43b12a6

Please sign in to comment.