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))