Mentions légales du service

Skip to content

capture VCGen semantics in abstract RAC for 'for loops'

Claudio Belo Lourenco requested to merge abstract-rac-for-loops into master

continue abstract interpretation after executing for-loop body by assuming inv[b+1]

Merge request reports