tlacli

tlacli copied to clipboard

Exception on running without arguments

2

``` sergeyb@pony:~/sources/MRG/packpack$ ~/.local/bin/tlacli Traceback (most recent call last): File "/home/sergeyb/.local/bin/tlacli", line 8, in sys.exit(main()) File "/home/sergeyb/.local/lib/python3.8/site-packages/tlacli/tlacli.py", line 16, in main args.run(args) AttributeError: 'Namespace' object has no attribute 'run' sergeyb@pony:~/sources/MRG/packpack$ ```...

ligurio

Bumps [py](https://github.com/pytest-dev/py) from 1.8.1 to 1.10.0. Changelog Sourced from py's changelog. 1.10.0 (2020-12-12) Fix a regular expression DoS vulnerability in the py.path.svnwc SVN blame functionality (CVE-2020-29651) Update vendored apipkg: 1.4...

dependabot[bot]

SimonWoolf

The custom spec wasn't getting the 'prefer-other' semantics of CFG#merge, so any spec specified by `--specification` in the args was getting ignored in favour of the default value of "Spec"...

SimonWoolf

Cannot supply tuple as constant

1

While strings, numbers and sets work when supplied via `--constant`, tuples dont. (giving the error `Error: TLC found an error in the configuration file at line 1. It was expecting...

dgpv

With a command like this: ``` java -cp ${TLATOOLSDIR}/tla2tools.jar tla2tex.TLA \ -metadir metadir \ -latexOutputExt pdf \ -latexCommand pdflatex \ -ptSize 12 \ -shade \ SomeFile.tla ```

dgpv