notzero.model « Models « Inputs « Analysis « test - src - FreeBSD source tree

FreeBSD source tree

about summary refs log tree commit diff

path: root/test/Analysis/Inputs/Models/notzero.model

blob: 26161029d6ed6f2ce414ccae9bf2f2b588a66a7f (plain) (blame)

1
2
3

bool notzero(int i) {
 return i != 0;
}