kc3-lang/kc3/test/ic3/integer_mod-2.out.expected

---

test/ic3/integer_mod-2.out.expected

---

Log

Author	Commit	Date	CI	Message
	817493c6	2023-11-07T12:26:11		fix integer tests