()
| 84 | # the key is a ternary tuple (empty_database_path, SQL1, SQL2) |
| 85 | # the value is whether SQL1 and SQL2 are equivalent, judged by the test suites |
| 86 | def load_cache() -> Dict[Tuple[str, str, str], bool]: |
| 87 | if os.path.exists(cache_path): |
| 88 | d = m.dict(pkl.load(open(cache_path, 'rb'))) |
| 89 | for k, v in d.items(): |
| 90 | cache[k] = v |
| 91 | return cache |
| 92 | |
| 93 | |
| 94 | # dump the cache |
no test coverage detected