Skip to content

Commit

Permalink
Fix: only assigned from time at t0.
Browse files Browse the repository at this point in the history
  • Loading branch information
luciansmith committed Jan 11, 2022
1 parent 6b7f5aa commit 5982cb1
Showing 1 changed file with 10 additions and 10 deletions.
20 changes: 10 additions & 10 deletions cases/semantic/01821/01821-results.csv
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
Time,time,Time,TIME,a,b,c,d
0,10,11,12,10,11,12,0
1,10,11,12,10,11,12,1
2,10,11,12,10,11,12,2
3,10,11,12,10,11,12,3
4,10,11,12,10,11,12,4
5,10,11,12,10,11,12,5
6,10,11,12,10,11,12,6
7,10,11,12,10,11,12,7
8,10,11,12,10,11,12,8
9,10,11,12,10,11,12,9
10,10,11,12,10,11,12,10
1,10,11,12,10,11,12,0
2,10,11,12,10,11,12,0
3,10,11,12,10,11,12,0
4,10,11,12,10,11,12,0
5,10,11,12,10,11,12,0
6,10,11,12,10,11,12,0
7,10,11,12,10,11,12,0
8,10,11,12,10,11,12,0
9,10,11,12,10,11,12,0
10,10,11,12,10,11,12,0

0 comments on commit 5982cb1

Please sign in to comment.