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