Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Weight 10 not working #6

Open
GoogleCodeExporter opened this issue Nov 27, 2015 · 0 comments
Open

Weight 10 not working #6

GoogleCodeExporter opened this issue Nov 27, 2015 · 0 comments

Comments

@GoogleCodeExporter
Copy link

What steps will reproduce the problem?

bin/infer -i test.mln -e empty.db -r results.txt -q good


What is the expected output? What do you see instead?

expected (actually produced for weights 9.999999 and 10.000001)
  good(A) 4.9995e-05

instead
  good(A) 0.99995


What version of the product are you using? On what operating system?

Latest release (Jan 2013) on debian wheezy


Please provide any additional information below.

All other weights work just fine, but for some reason 10 doesn't work.

Original issue reported on code.google.com by [email protected] on 19 Jan 2014 at 9:11

Attachments:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant