Skip to content

Commit 4abdd7d

Browse files
reb-ddmreb-ddm
committed
add test case
1 parent 7171574 commit 4abdd7d

3 files changed

Lines changed: 6 additions & 0 deletions

File tree

‎tests/incremental/test8/README‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
./KaSaIncremental --current-chapter a_before.ka --do-restart-fixpoint-iterations
2+
3+
update file a_after.ka as a_before.ka
4+
update file a_before.ka

‎tests/incremental/test8/a_after.ka‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
%init: 100 A()

‎tests/incremental/test8/a_before.ka‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
%init: 100 A(u{u})

0 commit comments

Comments
 (0)