Change : 1. pintool should not be executed with injectionChild option. This ensures that untimely termination of Tejas also terminates the application started using pintool
Change :
1. pintool should not be executed with injectionChild option. This ensures that untimely termination of Tejas also terminates the application started using pintool

abhishek4747/Tejas-git,abhishek4747/Tejas-git,abhishek4747/Tejas-git,abhishek4747/Tejas-git,abhishek4747/Tejas-git,abhishek4747/Tejas-git