Kdiverse1.smp

// copied from K: tests/diverse/div-nondet.simple
// Program manifesting several behaviors, including an undefined one.
// However, to make it generate all those behaviors, you need to add
// the "superheat" tag to the division and the "supercool" tag to the
// variable lookup and increment rules.

function main() {
  var x = 1 ;
  print(++ x / (++ x / x),"\n");
}

// 0
// 1
// 2
// 3
// undefined (gets stuck with division-by-zero at top of computation)