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.

Sign up for GitHub

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

Jump to bottom

Fix 'concuerror_options()' functionality #98

Closed
aronisstav opened this issue Jul 4, 2016 · 1 comment
Closed

Fix 'concuerror_options()' functionality #98

aronisstav opened this issue Jul 4, 2016 · 1 comment

Comments

@aronisstav
Copy link
Member

It should be related to the --module option, not the general initial loading of files. Must be fixed before #96.
@aronisstav
Copy link
Member Author

Moreover, command-line options should overtake concuerror_options() specified ones and not the other way around.

@aronisstav aronisstav added the in progress There is someone currently working on the issue. Should have at least a branch that refers to it. label Nov 24, 2016
aronisstav added a commit to aronisstav/Concuerror that referenced this issue Dec 2, 2016
@aronisstav
Add concuerror_options(_forced)
800883f 
This patch is a rewriting of most of the logic in concuerror_options.
The goal was to simplify some of the rules and improve the relevant
messages.

It replaces the concuerror_options() function with two attributes,
one that can be overwritten by the command line and one that cannot.

The tests for options have also been extended.

Fixes parapluu#98.
Fixes #12.
aronisstav added a commit to aronisstav/Concuerror that referenced this issue Dec 2, 2016
@aronisstav
Add concuerror_options(_forced)
0cd2762 
This patch is a rewriting of most of the logic in concuerror_options.
The goal was to simplify some of the rules and improve the relevant
messages.

It replaces the concuerror_options() function with two attributes,
one that can be overwritten by the command line and one that cannot.

The tests for options have also been extended.

Fixes parapluu#98.
Fixes #12.
aronisstav added a commit to aronisstav/Concuerror that referenced this issue Dec 3, 2016
@aronisstav
Add concuerror_options(_forced)
c165d59 
This patch is a rewriting of most of the logic in concuerror_options.
The goal was to simplify some of the rules and improve the relevant
messages.

It replaces the concuerror_options() function with two attributes,
one that can be overwritten by the command line and one that cannot.

The tests for options have also been extended.

Fixes parapluu#98.
Fixes #12.
@aronisstav aronisstav removed the in progress There is someone currently working on the issue. Should have at least a branch that refers to it. label Dec 3, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@aronisstav