SashegDev
874b6f20c2
Основа — Horizon (MIT). История апстрима не переносится: этот репозиторий ведёт свою.
23 lines
952 B
Python
23 lines
952 B
Python
import itertools
|
|
import json
|
|
import unittest
|
|
from tools import test_anchor_parity as anchor
|
|
|
|
|
|
class AnchorCorpusTests(unittest.TestCase):
|
|
def test_exclusive_alternatives_and_unrestricted_runtime_bounds(self):
|
|
fixtures=list(anchor.corpus())
|
|
self.assertEqual(fixtures,list(anchor.corpus()))
|
|
self.assertEqual(len(fixtures),192)
|
|
self.assertEqual(sum('generator' in f for f in fixtures),96)
|
|
self.assertIn(-2**31,fixtures[0]['values'])
|
|
self.assertIn(2**31-1,fixtures[0]['values'])
|
|
decoded=[json.loads(s) for s in fixtures[0]['json']]
|
|
names=['absolute','above_bottom','below_top','relative_to_sea_level']
|
|
for combination in itertools.product([None,0,2032,'bad'],repeat=4):
|
|
self.assertIn({k:v for k,v in zip(names,combination) if v is not None},decoded)
|
|
self.assertIn('{"absolute":1,"absolute":null}',fixtures[0]['json'])
|
|
|
|
|
|
if __name__=='__main__':unittest.main()
|