pydiff.py is missing when doing lit tests on Windows

dafny-lang / libraries

Libraries useful for Dafny programs

Other

43 stars 25 forks source link

pydiff.py is missing when doing lit tests on Windows #34

Open zhenkuny opened 2 years ago

zhenkuny commented 2 years ago

lit.site.cfg looks for pydiff.py in the test_source_root directory on Windows platform. lit will error out when pydiff.py is missing. Potentially borrow the pydiff.py from dafny repo?