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

JME part: allow checking values to be defined with a JME expression #398

christianp opened this issue Aug 6, 2015 · 2 comments


None yet
2 participants
Copy link

commented Aug 6, 2015

At the moment, you can just give a continuous interval and a number of points to pick. When this isn't good enough, you should be able to give a JME expression to generate a list of sample points.

A couple of examples I've been thinking of:

  • when checking logical propositions, you should try all combinations of true and false for the variables. Something like product([true,false],[true,false],...)
  • in modular arithmetic, only pick integers - fractions don't work.
  • pick from different ranges for each variable.

Your expression should return a list of points to check. A "point" is a list giving values for each of the variables. (The editor should tell you which order to use)

@christianp christianp added the Wishlist label Aug 6, 2015


This comment has been minimized.

Copy link
Member Author

commented Aug 6, 2015

This might enable #109


This comment has been minimized.

Copy link

commented Aug 14, 2017

One more example to add to that list:

  • Give vector samples to allow expressions such as dot(u,v) to be evaluated.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.