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

Support for combining Preconditions/Postconditions #138

Open
TricksterGuy opened this issue Mar 11, 2021 · 0 comments
Open

Support for combining Preconditions/Postconditions #138

TricksterGuy opened this issue Mar 11, 2021 · 0 comments

Comments

@TricksterGuy
Copy link
Owner

So the goal with the replay strings in pyLC3 is that it should be as minimal/concise as possible in describing the test

I would expect authors to use proper functions when writing autograders, however that may not always happen as expected.

For instance code like this

for i in arr:
  self.fillValue(address, i)
  address += 1

Would generate a single Precondition for each element in the array.

The proper style would be to call fillArray and give it the initial address and array which would generate one Precondition.

Come up with some smarter mechanisms to analyze the set of Preconditions being written and gently recommend to the author that they probably want a different function.

This would be easy for Arrays and Strings, but detecting arbitrary Nodes may be a bit more difficult to do.

@TricksterGuy TricksterGuy changed the title Support for combining Preconditions/PostConditions Support for combining Preconditions/Postconditions Mar 11, 2021
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