Artifact
03a8ca0717177ddb7941045e96c3db91a67a8501d51d2415b05d32e7c542ec9d:
- File
tests/g0/verification/c-test-9.g0
— part of check-in
[45f663093d]
at
2021-09-12 13:42:15
on branch trunk
— Adopted a new convention for source extensions: .g0 for prelude code (where most language features won't be available), .g1 for user code
(user:
achavasse
size: 58)
- File
tests/noprelude/verification/c-test-9.g
— part of check-in
[3cf6ab5249]
at
2021-03-04 21:47:51
on branch trunk
—
- Refactored and simplified the way integer and string constants are handled: we no longer try to resolve them during typechecking, this breaks when parametric types are involved and also it makes no sense, typechecking is about types, not values
- Fixed multiple places where locationIds weren't propagated
- Verifier: variable assignments now verify the destination variable type's refinement conditions
- Fixed a test where the above change detected a bug, kept the bugged version as a new verification failure test
(user:
achavasse
size: 58)
uint(32) where [@val > 100 @val < 200] gg = 150
gg = 123