In a lot of places, you di timeSpan.Milliseconds where timeSpan.TotalMilliseconds should be used. For e.g. TimeSpan.FormMinutes(1), Milliseconds is 0, but TotalMilliseconds is 60000.
Please see the...
Id #8715 | Release:
None
| Updated: Feb 14 at 7:24 PM by etobi | Created: Sep 22, 2011 at 11:31 AM by etobi
Hi there!
I encountered another problem using Alpaca.
I get an Execution Timeout Error with the hint to an "This is a strong indication of a livelock". But to be honest, I've no idea where this m...
Id #8615 | Release:
None
| Updated: Feb 14 at 7:24 PM by MatthiasFG | Created: Aug 16, 2011 at 11:14 AM by MatthiasFG
Hi there!
I encountered another problem using Alpaca.
I get an Execution Timeout Error with the hint to an "This is a strong indication of a livelock". But to be honest, I've not idea where this ...
Id #8614 | Release:
None
| Updated: Feb 14 at 7:24 PM by MatthiasFG | Created: Aug 16, 2011 at 8:17 AM by MatthiasFG
Hi!
I made a very simple sample (see attached file) which will crash an Alpca Schedule Test Run.
What is "special" about the sample is, that it uses a static class which in turn has a lock on a s...
Id #8320 | Release:
None
| Updated: Feb 14 at 7:24 PM by MatthiasFG | Created: Jun 2, 2011 at 9:23 AM by MatthiasFG
This feature has been discussed by Tom and Joe to improve usability. The new menu bar ribbon will be modeled to look similar to Office 2010's ribbon bar system.
Id #8237 | Release:
None
| Updated: Feb 14 at 7:24 PM by MatthiasFG | Created: May 11, 2011 at 1:08 PM by mormayo
Hi!
running the given sample from below I get a Data Race reported for the "LambdaCausesDataRace" test and no Data Race for the "ForeachLoopCausesNoDataRace" test. Why?
using System.Collections...
Id #8081 | Release:
None
| Updated: Feb 14 at 7:24 PM by MatthiasFG | Created: Apr 1, 2011 at 6:44 AM by MatthiasFG
I wrote some Alpaca Tests and really like the tool and it helped me a lot in finding bad code.
But with the following lines of code I get a Data Race error but don't know why. Can you please be so ...
Id #8077 | Release:
None
| Updated: Feb 14 at 7:24 PM by MatthiasFG | Created: Mar 31, 2011 at 6:59 AM by MatthiasFG
When chess detects nondeterminism it produces an "Repro" action element that also specifies a carg element to turn nondeterminism off (see NondeterminismHandler.cpp - NondeterminismHandler::Recover...
Id #7902 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Feb 14, 2011 at 8:10 PM by mormayo
This will help to understand what threads tasks are assigned to.
Id #7887 | Release:
None
| Updated: Feb 14 at 7:24 PM by tball | Created: Feb 8, 2011 at 9:06 PM by mormayo
Currently, MiniMPIRuntime.BlockProcessOnInstruction increments the _blockedProcessesCount. But this is setting runtime state before all the associated data has been made available to the runtime, n...
Id #7801 | Release:
None
| Updated: Feb 14 at 7:24 PM by tball | Created: Jan 14, 2011 at 8:19 PM by mormayo
NOTE: This task relies on the ObservationGeneratorAttribute being implemented and functional.
This test uses a previously generated observation file to verify linearizabilty.
o Arguments:
...
Id #7725 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Dec 22, 2010 at 8:52 PM by mormayo
This attribute will act like a schedule test in Alpaca but will also generate an observation file.
Alpaca should save observation files to a separate folder after the test has finished. Each fol...
Id #7724 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Dec 22, 2010 at 8:18 PM by mormayo
This test is needed for the PPCP course material
ConflictSerializabilityTest
o arguments: none so far
o Mchess commandline arguments –checkatomicity
Id #7723 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Dec 22, 2010 at 8:13 PM by mormayo
This test is needed for the PPCP course materials.
DeterminismTest
o arguments: none so far
o Mchess commandline arguments –checkdeterminism (todo)
Id #7722 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Dec 22, 2010 at 8:10 PM by mormayo
For some long-running tasks that the user wants to quit pre-maturely, they can just go to the TaskManager and End Process on the Microsoft.ManagedChess.Base.exe process. Alpaca recognizes it as an ...
Id #7716 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Dec 21, 2010 at 1:16 AM by mormayo
Run a schedule test from MCUT that will run the test and return a result set xml. One set per run of the test.
Move TaskoMeter UI results view into Alpaca.
Add right-click to a performance test to...
Id #7688 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Dec 15, 2010 at 6:40 PM by mormayo
The failing code is attached as Program.cs. Based on the product code involved, it seems that all the ThreadPool threads get assigned the same chess ID.
If explicit threads are created, the prob...
Id #7497 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Nov 5, 2010 at 6:37 PM by tball
When code tries to load a file that's relative to the project's output folder path (i.e. where the assembly is executed from) the file cannot be found.
For example, when a file in a C# proj is ma...
Id #7490 | Release:
None
| Updated: Feb 14 at 7:24 PM by tball | Created: Nov 2, 2010 at 9:26 PM by mormayo
Display the code of the test method in Alpaca (and press a button to open VS on the file/solution).
Id #7476 | Release:
None
| Updated: Feb 14 at 7:24 PM by tball | Created: Nov 2, 2010 at 12:06 AM by tball
1. Run MCUT.Framework.RegressionTests\ChessMethodTests.ExpChessResult_ExitCode_ChessDeadlock. Uses 11 schedules
2. Run w/ 2 preemptions, 5 schedules
3. Continue w/ 2 preemptions, 5 schedules
4. Con...
Id #7290 | Release:
None
| Updated: Feb 14 at 7:24 PM by tball | Created: Sep 23, 2010 at 8:25 PM by mormayo
The intent here is to allow this as a feature for all test types w/o the test type needing to implement anything special.
This is also useful when running performance tests and wanting to re-run a...
Id #7289 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Sep 23, 2010 at 8:23 PM by mormayo
When auto refreshing an assembly and there's an error with the file (e.g. two chess context w/same name)
Don't just delete the existing node. If there's test runs there, it would be better to just:...
Id #7288 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Sep 23, 2010 at 8:21 PM by mormayo
- Display the test case run name in the format methodName {Context="[contextName]"}
- Make sure this is used on the cmd line output for runAllTests
- Use in Tree.
- Add column for this in the Tasks...
Id #7287 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Sep 23, 2010 at 8:19 PM by mormayo
This would require adding logic to the Assert class at runtime (since we don't want the MCUT Fwk assembly to get a dependency on Extended Reflection).
Not sure how possible this would be w/o some...
Id #7286 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Sep 23, 2010 at 8:18 PM by mormayo
Have MChessMain catch and report certain exceptions without necessarily stopping the exploration (e.g. assert failures and continue with more schedules)
- May want to keep track of the number of fa...
Id #7285 | Release:
None
| Updated: Feb 14 at 7:24 PM by tball | Created: Sep 23, 2010 at 8:16 PM by mormayo
I'm not a fan of the original idea. While it's an ok work around, it requires the tester to add a Main() to their assembly plus make it runnable. I prefer the idea of integrating directly with VS t...
Id #7284 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Sep 23, 2010 at 8:14 PM by mormayo
Id #7283 | Release:
None
| Updated: Sep 23, 2010 at 8:05 PM by mormayo | Created: Sep 23, 2010 at 8:05 PM by mormayo
Currently, wrappers are not currently written for the structures of the TPL (other than the Parallel class). It would be helpful to notify testers when they use a known concurrency API that MChess ...
Id #7282 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Sep 23, 2010 at 7:21 PM by mormayo
This is a long overdue feature.
Allow a right-click -> Debug Unit Test menu option.
This option should be available on the Unit Test node itself.
Id #7279 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Sep 23, 2010 at 6:53 PM by mormayo
Keeping track of this will allow Alpaca to detect refreshes of the file/assembly between loading of an Alpaca session.
When Alpaca loads, look at all the last updated dates and see if the source ...
Id #7278 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Sep 23, 2010 at 6:50 PM by mormayo
When refreshing a root testlist, if the children are also imports of testlists, then the old runs get removed. This is because we don't do a recursive load when refreshing; it's done by letting the...
Id #7199 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Sep 1, 2010 at 5:50 AM by mormayo
The xml documentation allows for less need to create separate documentation for every feature in the MCUT Framework. The installer already makes use of this and gets integrated into Visual Studio's...
Id #7198 | Release:
None
| Updated: Feb 14 at 7:24 PM by mormayo | Created: Aug 31, 2010 at 11:49 PM by mormayo
When I uninstalled Alpaca, the following files got left behind in the Program Files folder:
bin\Microsoft.ManagedChess.ThreadingWrappers.dll
bin\Microsoft.ManagedChess.ThreadingWrappers.pdb
OS: W...
Id #7158 | Release:
None
| Updated: Feb 14 at 7:24 PM by tball | Created: Aug 23, 2010 at 10:41 PM by mormayo