{"action":"created","issue":{"url":"https://api.github.com/repos/seahorn/seahorn/issues/59","repository_url":"https://api.github.com/repos/seahorn/seahorn","labels_url":"https://api.github.com/repos/seahorn/seahorn/issues/59/labels{/name}","comments_url":"https://api.github.com/repos/seahorn/seahorn/issues/59/comments","events_url":"https://api.github.com/repos/seahorn/seahorn/issues/59/events","html_url":"https://github.com/seahorn/seahorn/issues/59","id":185844561,"number":59,"title":"Unknown command line argument '--enable-indvar=false'.","user":{"login":"ezudheen","id":23114050,"avatar_url":"https://avatars.githubusercontent.com/u/23114050?v=3","gravatar_id":"","url":"https://api.github.com/users/ezudheen","html_url":"https://github.com/ezudheen","followers_url":"https://api.github.com/users/ezudheen/followers","following_url":"https://api.github.com/users/ezudheen/following{/other_user}","gists_url":"https://api.github.com/users/ezudheen/gists{/gist_id}","starred_url":"https://api.github.com/users/ezudheen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ezudheen/subscriptions","organizations_url":"https://api.github.com/users/ezudheen/orgs","repos_url":"https://api.github.com/users/ezudheen/repos","events_url":"https://api.github.com/users/ezudheen/events{/privacy}","received_events_url":"https://api.github.com/users/ezudheen/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-10-28T05:55:01Z","updated_at":"2016-10-28T12:12:27Z","closed_at":null,"body":"I am unable to run seahorn due the following errors. Kindly help me. \r\n\r\nError:-\r\n/home/ezudheen/workspace/seahorn/build/run/bin/sea pf example.c/usr/bin/clang-3.6 -c -emit-llvm -D__SEAHORN__ -fgnu89-inline -m32 -I/home/ezudheen/workspace/seahorn/build/run/include -o /tmp/sea-O6tcvl/example.bc example.c\r\n/home/ezudheen/workspace/seahorn/build/run/bin/seapp -o /tmp/sea-O6tcvl/example.pp.bc --strip-extern=false --kill-vaarg=true /tmp/sea-O6tcvl/example.bc\r\n/home/ezudheen/workspace/seahorn/build/run/bin/seapp -o /tmp/sea-O6tcvl/example.pp.ms.bc --horn-mixed-sem --ms-reduce-main /tmp/sea-O6tcvl/example.pp.bc\r\n/usr/bin/opt-3.6 -f -funit-at-a-time -o /tmp/sea-O6tcvl/example.pp.ms.o.bc -O3 --enable-indvar=false --enable-loop-idiom=false --enable-nondet-init=false --disable-loop-vectorization=true --disable-slp-vectorization=true --vectorize-slp-aggressive=false /tmp/sea-O6tcvl/example.pp.ms.bc\r\nopt-3.6: Unknown command line argument '--enable-indvar=false'.  Try: '/usr/bin/opt-3.6 -help'\r\nopt-3.6: Did you mean '-enable-fp-mad=false'?\r\nopt-3.6: Unknown command line argument '--enable-loop-idiom=false'.  Try: '/usr/bin/opt-3.6 -help'\r\nopt-3.6: Did you mean '-enable-lsr-phielim=false'?\r\nopt-3.6: Unknown command line argument '--enable-nondet-init=false'.  Try: '/usr/bin/opt-3.6 -help'\r\nopt-3.6: Did you mean '-enable-load-pre=false'?\r\n\r\nEnvironment:-\r\nUbuntu 16.04 LTS \r\nLLVM version 3.6.2\r\n  Optimized build.\r\n  Built Apr 18 2016 (16:31:56).\r\n  Default target: x86_64-pc-linux-gnu\r\n  Host CPU: core-avx2\r\nClang version -3.6\r\n"},"comment":{"url":"https://api.github.com/repos/seahorn/seahorn/issues/comments/256904991","html_url":"https://github.com/seahorn/seahorn/issues/59#issuecomment-256904991","issue_url":"https://api.github.com/repos/seahorn/seahorn/issues/59","id":256904991,"user":{"login":"agurfinkel","id":6082023,"avatar_url":"https://avatars.githubusercontent.com/u/6082023?v=3","gravatar_id":"","url":"https://api.github.com/users/agurfinkel","html_url":"https://github.com/agurfinkel","followers_url":"https://api.github.com/users/agurfinkel/followers","following_url":"https://api.github.com/users/agurfinkel/following{/other_user}","gists_url":"https://api.github.com/users/agurfinkel/gists{/gist_id}","starred_url":"https://api.github.com/users/agurfinkel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/agurfinkel/subscriptions","organizations_url":"https://api.github.com/users/agurfinkel/orgs","repos_url":"https://api.github.com/users/agurfinkel/repos","events_url":"https://api.github.com/users/agurfinkel/events{/privacy}","received_events_url":"https://api.github.com/users/agurfinkel/received_events","type":"User","site_admin":false},"created_at":"2016-10-28T12:12:27Z","updated_at":"2016-10-28T12:12:27Z","body":"You are missing 'extra' packages. Please follow the build instructions in\nthe readme.\n\ncheers\narie\nOn Fri, Oct 28, 2016 at 01:55 ezudheen <notifications@github.com> wrote:\n\n> I am unable to run seahorn due the following errors. Kindly help me.\n>\n> Error:-\n> /home/ezudheen/workspace/seahorn/build/run/bin/sea pf\n> example.c/usr/bin/clang-3.6 -c -emit-llvm -D__SEAHORN__ -fgnu89-inline -m32\n> -I/home/ezudheen/workspace/seahorn/build/run/include -o\n> /tmp/sea-O6tcvl/example.bc example.c\n> /home/ezudheen/workspace/seahorn/build/run/bin/seapp -o\n> /tmp/sea-O6tcvl/example.pp.bc --strip-extern=false --kill-vaarg=true\n> /tmp/sea-O6tcvl/example.bc\n> /home/ezudheen/workspace/seahorn/build/run/bin/seapp -o\n> /tmp/sea-O6tcvl/example.pp.ms.bc --horn-mixed-sem --ms-reduce-main\n> /tmp/sea-O6tcvl/example.pp.bc\n> /usr/bin/opt-3.6 -f -funit-at-a-time -o /tmp/sea-O6tcvl/example.pp.ms.o.bc\n> -O3 --enable-indvar=false --enable-loop-idiom=false\n> --enable-nondet-init=false --disable-loop-vectorization=true\n> --disable-slp-vectorization=true --vectorize-slp-aggressive=false\n> /tmp/sea-O6tcvl/example.pp.ms.bc\n> opt-3.6: Unknown command line argument '--enable-indvar=false'. Try:\n> '/usr/bin/opt-3.6 -help'\n> opt-3.6: Did you mean '-enable-fp-mad=false'?\n> opt-3.6: Unknown command line argument '--enable-loop-idiom=false'. Try:\n> '/usr/bin/opt-3.6 -help'\n> opt-3.6: Did you mean '-enable-lsr-phielim=false'?\n> opt-3.6: Unknown command line argument '--enable-nondet-init=false'. Try:\n> '/usr/bin/opt-3.6 -help'\n> opt-3.6: Did you mean '-enable-load-pre=false'?\n>\n> Environment:-\n> Ubuntu 16.04 LTS\n> LLVM version 3.6.2\n> Optimized build.\n> Built Apr 18 2016 (16:31:56).\n> Default target: x86_64-pc-linux-gnu\n> Host CPU: core-avx2\n> Clang version -3.6\n>\n> —\n> You are receiving this because you are subscribed to this thread.\n> Reply to this email directly, view it on GitHub\n> <https://github.com/seahorn/seahorn/issues/59>, or mute the thread\n> <https://github.com/notifications/unsubscribe-auth/AFzN5-N2vecEgp-VYl6NRTK24gn-87l8ks5q4Y41gaJpZM4KjGnb>\n> .\n>\n"}}
{"actor":{"display_login":"agurfinkel"}}