coreutils.py: Generate assertions with both interval and non-interval configurations.
coreutils.py: Generate assertions with both interval and non-interval configurations.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer