modelverse/integration/test_remainder.py

import unittest

from utils import run_file


class TestRemainder(unittest.TestCase):
    def test_po_remainder(self):
        self.remainder("PO")

    def test_cs_remainder(self):
        self.remainder("CO")

    def remainder(self, mode):
        self.assertTrue(run_file(["remainder.alc", "primitives.alc"],
            [(1, 2), (20, 2), (99, 100), (17, 3)],
            ["1", "0", "99", "2"], mode))