search

rixed / ramen

A stream processing language and compiler for small-scale monitoring
Other
14 stars 4 forks source link

Assertion failure on `COMMIT BEFORE true` #1418

Closed rixed closed 2 years ago

rixed commented 2 years ago

Technically, the condition was COMMIT BEFORE in.start > start.

(E) Worker process: File "src/CodeGenLib_Skeletons.ml", line 819, characters 18-24: Assertion failed
Raised at file "src/CodeGenLib_Skeletons.ml", line 819, characters 18-49
Called from file "src/RamenHeap.ml", line 136, characters 18-27
Called from file "src/CodeGenLib_Skeletons.ml", line 814, characters 14-730  
Called from file "src/CodeGenLib_Skeletons.ml", line 597, characters 17-20   
Called from file "src/CodeGenLib_Skeletons.ml", line 865, characters 6-1023
Called from file "src/RingBufLib.ml", line 288, characters 8-12              
Called from file "src/CodeGenLib_Skeletons.ml", line 857, characters 10-197
Called from file "src/RamenHelpers.ml", line 42, characters 15-18

This warning in the code (* FIXME: prevent commit_before in that case *) suggest the issue is more general.