crusher
v1.0: Merge pull request #6 from ispras
El repositorio contiene ejemplos de lanzamiento, complementos de usuario, así como scripts útiles para trabajar con un conjunto de herramientas de análisis incluidas en el suministro de Crusher .
Historias prácticas y ejemplos de cómo hacer y no necesitar - Preguntas frecuentes
Ejemplos de fase en Linux - Ejemplos/Crusher/Linux.
Ejemplos de uso y redacción de complementos de usuario para herramientas Crusher , así como complementos: complementos
El formato Peach Pit le permite describir la estructura de los datos de entrada para la fase y aplicada a los campos individuales de los datos de mutación - Peachpits
SYDR es una herramienta de una interpretación simbólica dinámica basada en Triton y Dynamoro. La herramienta le permite obtener conjuntos de datos de entrada para invertir las transiciones convencionales que se cumplieron durante la implementación del programa.
Se pueden encontrar ejemplos de lanzamiento en programas reales en el directorio Ejemplos/SYDR.
Varias plantillas de contenedores que pueden usarse para la orquestación de la aplicación de fasina de la aplicación que requiere aislamiento por recursos y análisis de los resultados.
Ejemplos de fase en Linux - Contenedores/Crusher/Linux.
