source: CIVL/examples/languageFeatures/break.cvl@ d8bb437

#include <civlc.h>

void main() {
  int i, j;
  for (i = 0; i < 5; i++) {
    for (j = 0; j < 10; j++) {
      if (j == 6) {
        break;
      }
    }
    if ( i == 3) {
      break;
    }
  }
  $assert i == 3;
  $assert j == 6;
}