oilshell.org

Side By Side Lines Parsed? Parse Process Time (secs) Translated? Filename
view 1,051 OK 0.59 FAIL adduser.sh
view 361 OK 0.26 FAIL rmuser.sh

stderr

Translating rmuser.sh
        Traceback (most recent call last):
  File "/home/andy/git/oilshell/oil/bin/oil.py", line 380, in <module>
    sys.exit(main(sys.argv))
  File "/home/andy/git/oilshell/oil/bin/oil.py", line 324, in main
    return AppBundleMain(argv)
  File "/home/andy/git/oilshell/oil/bin/oil.py", line 296, in AppBundleMain
    return OshCommandMain(main_argv)
  File "/home/andy/git/oilshell/oil/bin/oil.py", line 177, in OshCommandMain
    osh2oil.PrintAsOil(arena, node)
  File "/home/andy/git/oilshell/oil/tools/osh2oil.py", line 80, in PrintAsOil
    fixer.DoCommand(node, None, at_top_level=True)  # no local symbols yet
  File "/home/andy/git/oilshell/oil/tools/osh2oil.py", line 572, in DoCommand
    self.DoCommand(child, local_symbols, at_top_level=at_top_level)
  File "/home/andy/git/oilshell/oil/tools/osh2oil.py", line 739, in DoCommand
    self.DoCommand(child, new_local_symbols)
  File "/home/andy/git/oilshell/oil/tools/osh2oil.py", line 635, in DoCommand
    self.DoRedirect(r, local_symbols)
  File "/home/andy/git/oilshell/oil/tools/osh2oil.py", line 344, in DoRedirect
    raise AssertionError(node.__class__.__name__)
AssertionError: redir

        
Translating adduser.sh
        Traceback (most recent call last):
  File "/home/andy/git/oilshell/oil/bin/oil.py", line 380, in <module>
    sys.exit(main(sys.argv))
  File "/home/andy/git/oilshell/oil/bin/oil.py", line 324, in main
    return AppBundleMain(argv)
  File "/home/andy/git/oilshell/oil/bin/oil.py", line 296, in AppBundleMain
    return OshCommandMain(main_argv)
  File "/home/andy/git/oilshell/oil/bin/oil.py", line 177, in OshCommandMain
    osh2oil.PrintAsOil(arena, node)
  File "/home/andy/git/oilshell/oil/tools/osh2oil.py", line 80, in PrintAsOil
    fixer.DoCommand(node, None, at_top_level=True)  # no local symbols yet
  File "/home/andy/git/oilshell/oil/tools/osh2oil.py", line 572, in DoCommand
    self.DoCommand(child, local_symbols, at_top_level=at_top_level)
  File "/home/andy/git/oilshell/oil/tools/osh2oil.py", line 739, in DoCommand
    self.DoCommand(child, new_local_symbols)
  File "/home/andy/git/oilshell/oil/tools/osh2oil.py", line 842, in DoCommand
    self.DoCommand(child, local_symbols)
  File "/home/andy/git/oilshell/oil/tools/osh2oil.py", line 635, in DoCommand
    self.DoRedirect(r, local_symbols)
  File "/home/andy/git/oilshell/oil/tools/osh2oil.py", line 344, in DoRedirect
    raise AssertionError(node.__class__.__name__)
AssertionError: redir